let rho (x, ()) = x
